81. Abduction in Context
پدیدآورنده : by Woosuk Park,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Philosophy,Epistemology,Logic,Artificial intelligence,Cognitive psychology,Philosophy,Epistemology,Cognitive Psychology,Logic,Artificial Intelligence )incl. Robotics(
رده :
EBOOK
,
HV
A33
6626
.
2
82. Abductive cognition
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Abduction (Logic) ; Reasoning. ; Science ; Philosophy. ; Wissenschaftstheorie ; Kognitiver Prozess ; Abduktion ; Inferenz ; Kognitive Psychologie. ; swd. ; Schlussfolgern. ; swd. ; Wissenschaftstheorie. ; swd. ; Kognitiver
83. Abductive inference models for diagnostic problem-solving
پدیدآورنده : Peng, Yun
کتابخانه: (طهران)
موضوع : ، Problem solving,، Artificial intelligence,، Abduction )Logic(,، Reasoning
رده :
Q
335
.
P414
1990
84. Abductive reasoning
پدیدآورنده : Walton, Douglas N., 2491-
کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع : ، Abduction )Logic(,، Reasoning
رده :
BC
199
.
A26W3
85. Abductive reasoning :logical investigations into discovery and explanation
پدیدآورنده : Aliseda, Atocha.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Abduction )Logic(,، Reasoning,، Artificial intelligence
رده :
BC199
.
A26
A45
2006
86. Adaptive thinking
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Reasoning. ; Thought and thinking. ; Logic. ;
87. Adaptive thinking
پدیدآورنده : / Gerd Gigerenzer
کتابخانه: كتابخانه مركزی دانشگاه علوم بهزیستی و توانبخشی (طهران)
موضوع : Reasoning,Thought and thinking,Logic
رده :
BC177
.
G53
2000
88. Advanced Methodologies for Bayesian Networks
پدیدآورنده : \ Joe Suzuki, Maomi Ueno (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Artificial intelligence,Bayesian statistical decision theory,Artificial intelligence,هوش مصنوعی,نظریه تصمیمگیری آماری بیزی,هوش مصنوعی,-- Congresses,-- کنگرهها,a03,a05,a07,a03,a05,a07
رده :
Q
334
.
I58
A3
2015
E-Book
,
89. Advanced models of cognition for medical training and practice
پدیدآورنده : edited by David A. Evans, Vimla L. Patel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cognitive science -- Congresses.,Medical education -- Philosophy -- Congresses.,Medical logic -- Congresses.
رده :
R723
.
E358
1992
90. Advanced research in applied artificial intelligence :
پدیدآورنده : Moonis Ali [and others] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses -- Industrial applications.,Artificial intelligence -- Congresses.,Intelligent agents (Computer software) -- Congresses.
91. Advanced topics in artificial intelligence :
پدیدآورنده : Norman Foo, (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Apprentissage automatique.,intelligence artificielle -- congrès.,Intelligence artificielle -- Congrès.
92. Advanced topics in artificial intelligence :
پدیدآورنده : V[ladimír] Mařík, O[lga] Štěpánová, R[obert] Trappl (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : logično programiranje.,računalništvo.,umetna inteligenca.
رده :
Q334
.
V533
1992
93. Advances in Artifical Intelligence :
پدیدآورنده : edited by Gordon McCalla.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer Science.
رده :
Q334
.
E358
1996
94. Advances in Data Base Theory :
پدیدآورنده : edited by Hervé Gallaire, Jack Minker, Jean Marie Nicolas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Data structures (Computer science)
رده :
QA76
.
9
.
D35
E358
1981
95. Advances in Intelligent Computing -- IPMU '94 :
پدیدآورنده : edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer software.
96. Advances in Verification of Time Petri Nets and Timed Automata :
پدیدآورنده : by Wojciech Penczek, Agata Pólrola.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Engineering mathematics.,Engineering.
رده :
QA267
.
B996
2006
97. Advances in Verification of Time Petri Nets and Timed Automata :
پدیدآورنده : by Wojciech Penczek, Agata Pólrola.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Engineering mathematics.,Engineering.
98. Advances in artificial intelligence :
پدیدآورنده : Concha Bielza [and 7 others] (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses
رده :
Q334
.
A86
2013
99. Advances in computational intelligence :
پدیدآورنده : Ildar Batyrshin, María de Lourdes Martínez-Villaseñor, Hiram Eredín Ponce Espinosa (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Soft computing, Congresses.,Artificial intelligence.,Soft computing.
رده :
QA76
.
9
.
S63
100. Advances in databases and information systems :
پدیدآورنده : Johann Eder and Leonid A. Kalinichenko (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA76
.
9
.
D3
J643
1996